Menu
Home
Advanced Search
Directory of Libraries
تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۴,۳۰ ثانیه یافت شد.
1. Compositional Verification of Concurrent and Real-Time Systems
استناد
اطلاعات استناد دهی
BibTex (مخصوص کاربران)
RIS (مخصوص کاربران)
Endnote (مخصوص کاربران)
Refer (مخصوص کاربران)
Mark (مخصوص کتابخانه ها)
پدیدآورنده :
by Eric Y. T. Juan, Jeffrey J. P. Tsai.
کتابخانه:
Center and Library of Islamic Studies in European Languages
(
Qom
)
موضوع :
Computer science.,Electronic data processing.,Mechanical engineering.,Software engineering.
رده :
»
1
«
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal